Conjunction and Contradiction

نویسندگان

  • Achille C. Varzi
  • Patrick Grim
چکیده

The Law of Non-Contradiction (hereafter: LNC) says that no contradiction can be true. But what is a contradiction? And what does it take for a contradiction to be true? As Patrick Grim [5] has pointed out, a quick look at the literature will reveal a large menagerie of different interpretations of the basic terms and, consequently, of LNC. Grim actually identifies as many as 240 different options (on a conservative count), and I don’t think there is any need to dwell further into the conceptual combinatorics that hides behind this familiar piece of logical nomenclature. I do, however, want to focus on one of the main ambiguities enumerated by Grim, one that seems to me to lie at the heart of the matter. And I want to offer an argument to the effect that on one way of resolving the ambiguity LNC is non-negotiable, but on another way of resolving the ambiguity it is perfectly plausible to suppose that LNC may, in some rather special and perhaps undesirable circumstances, fail to hold.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The principle of bivalence

0. Introduction The relations between the principles of bivalence, excluded middle and non contradiction are not necessarily clear. One reason is that there are various formulations of these principles, not always equivalent. In this paper, we try to formulate precisely these principles in order to discuss their relationships and to answer the question: is the conjunction of the principles of e...

متن کامل

The Case of α s : Z versus Low Energies or How Nature Prompts

The values of αs determined from lowand high-energy measurements are in irreconcilable contradiction with each other. The current status of the problem is critically reviewed. Consequences of the αs contradiction, in conjunction with other anomalies detected at the Z peak, are discussed. The write-up is updated in accordance with experimental numbers reported at summer conferences.

متن کامل

The application of TRIZ to solve the GSC problems in Sobhanoncology pharmaceutical firm.

The purpose of this paper is to apply TRIZ for solving the GSC problems in Sobhanoncology pharmaceutical firm. A review of the past papers of TRIZ based methods to GSC problem resolution is presented. The TRIZ contradiction matrix tool which was applied to the specific problem brings many benefits e.g.: being rapid acceleration in solving the problem. Moreover provides repeatability, reliabilit...

متن کامل

A Lower Bound for Boolean Satisfiability on Turing Machines

We establish a lower bound for deciding the satisfiability of the conjunction of any two Boolean formulas from a set called a full representation of Boolean functions of n variables a set containing a Boolean formula to represent each Boolean function of n variables. The contradiction proof first assumes that there exists a Turing machine with k symbols in its tape alphabet that correctly decid...

متن کامل

A Lower Bound of 2n Conditional Branches for Boolean Satisfiability on Post Machines

We establish a lower bound of 2 conditional branches for deciding the satisfiability of the conjunction of any two Boolean formulas from a set called a full representation of Boolean functions of n variables a set containing a Boolean formula to represent each Boolean function of n variables. The contradiction proof first assumes that there exists a Post machine (Post’s Formulation 1) that corr...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2001